Automated Lattice Drawing
نویسنده
چکیده
Lattice diagrams, known as Hasse diagrams, have played an ever increasing role in lattice theory and fields that use lattices as a tool. Initially regarded with suspicion, they now play an important role in both pure lattice theory and in data representation. Now that lattices can be created by software, it is important to have software that can automatically draw them. This paper covers: – The role and history of the diagram. – What constitutes a good diagram. – Algorithms to produce good diagrams. Recent work on software incorporating these algorithms into a drawing program will also be covered. An ordered set P = (P,≤) consists of a set P and a partial order relation ≤ on P . That is, the relation ≤ is reflexive (x ≤ x), transitive (x ≤ y and y ≤ z imply x ≤ z) and antisymmetric (x ≤ y and y ≤ x imply x = y). If P is finite there is a unique smallest relation ≺, known as the cover or neighbor relation, whose transitive, reflexive closure is ≤. (Graph theorists call this the transitive reduct of ≤.) A Hasse diagram of P is a diagram of the acyclic graph (P,≺) where the edges are straight line segments and, if a < b in P, then the vertical coordinate for a is less than the one for b. Because of this second condition arrows are omitted from the edges in the diagram. A lattice is an ordered set in which every pair of elements a and b has a least upper bound, a ∨ b, and a greatest lower bound, a ∧ b, and so also has a Hasse diagram. These Hasse diagrams are an important tool for researchers in lattice theory and ordered set theory and are now used to visualize data. This paper deals the special issues involved in such diagrams. It gives several approaches that have been used to automatically draw such diagrams concentrating on a three dimension force algorithm especially adapted for ordered sets that does particularly well. We begin with some examples. 1 In the second edition of his famous book on lattice theory [3] Birkhoff says these diagrams are called Hasse diagrams because of Hasse’s effective use of them but that they go back at least to H. Vogt, Résolution algébrique des équation, Paris, 1895.
منابع مشابه
Automated Layout of Small Lattices Using Layer Diagrams
Good quality concept lattice drawings are required to effectively communicate logical structure in Formal Concept Analysis. Data analysis frameworks such as the Toscana System use manually arranged concept lattices to avoid the problem of automatically producing high quality lattices. This limits Toscana systems to a finite number of concept lattices that have been prepared a priori. To extend ...
متن کاملAlgorithms for Drawing Media
We describe algorithms for drawing media, systems of states, tokens and actions that have state transition graphs in the form of partial cubes. Our algorithms are based on two principles: embedding the state transition graph in a low-dimensional integer lattice and projecting the lattice onto the plane, or drawing the medium as a planar graph with centrally symmetric faces.
متن کاملLattice Drawings and Morphisms
Let L → H be a lattice homomorphism and let a “readable” drawing of H be given. It is natural to make use of it to try getting a clear(er) drawing of L. Hence, the following question is explored: How the knowledge of the congruence lattice Con(L) of L can help in getting “better” drawings of L? This will be done by proposing rank shelling procedures of (M(Con(L),≤) and will be illustrated with ...
متن کاملMulti-ary Α-semantic Resolution Automated Reasoning Based on a Lattice-valued Proposition Logic Lp(x)
This paper focuses on multi-ary α-semantic resolution automated reasoning method based on multi-ary α-resolution principle for lattice-valued propositional logic LP(X) with truth-value in lattice implication algebras. The definitions of the multi-ary α-semantic resolution and multi-ary α-semantic resolution deduction in lattice-valued propositional logic LP(X) are given, respectively, and the s...
متن کاملAutomated Generation of Lattice Qcd Feynman Rules Manuscript Title: Automated Generation of Lattice Qcd Feynman Rules
The derivation of the Feynman rules for lattice perturbation theory from actions and operators is complicated, especially for highly improved actions such as HISQ. This task is, however, both important and particularly suitable for automation. We describe a suite of software to generate and evaluate Feyn-man rules for a wide range of lattice field theories with gluons and (relativistic and/or h...
متن کامل